Proof methods of declarative properties of definite programs
نویسندگان
چکیده
منابع مشابه
On the Declarative and Procedural Semantics of Definite Metalogic Programs
We present a declarative and procedural semantics for an amalgamation of object language and metalanguage. We define the class of definite metalogic programs, based on a definite clause language, a binary demonstration predicate, and a naming scheme with both primitive and structured names. The declarative semantics is an extension of the semantics of logic programs dealing with multiple theori...
متن کاملcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولsome properties of fuzzy hilbert spaces and norm of operators
in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...
15 صفحه اولinvestigation of thermal comfort properties of woven sport fabric using blend of estabragh fibers
امروزه لباس در نظر ورزشکاران و کسانی که برای اوقات فراغت خود و یا برای رسیدن به اندامی متعادل، ورزش می کنند؛ بسیار با اهمیت است. احساس مطلوب از لباس در زمره خصوصیات راحتی پوشش می باشد. خصوصیات انتقال رطوبت لباس، در ارزیابی راحتی حسی و حرارتی منسوجات تولید شده از آن ها بسیار مهم است. هدف از این تحقیق، معرفی پارچه جدید است که متشکل از الیاف استبرق با خواص منحصر به فرد می باشد. استبرق لیف طبیعی تو...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90107-5